Indice general
Pr?logo XIII
Introducci?n XV
I Estructuras algebraicas basadas en razonamiento l?gico ?saberlo? y conjuntos difusos
1 Estructura algebraica para l?gica bivalente?
1.1 Generalidades del ?lgebra de Boole B2
1.2 Dise?o de automatismos o ley de control para sistemas retroalimentados basados en ?lgebra booleana
1.2.1 S?ntesis mediante mapas de Karnaugh?
1.3 Propuesta de un m?todo basado en grafos para la simplificaci?n de f?rmulas para B2
1.3.1 Acci?n o funci?n global de salida (concreci?n) del automatismo
2 Estructuras algebraicas del c?lculo proposicional de sistemas de l?gica trivalente y tetravalente?
2.1 Algebra de f?rmulas
2.1.1 Equivalencia entre f?rmulas
2.2 Estructuras algebraicas para l?gica de tres elementos
2.3 Algebra de De Morgan o de cuatro elementos
2.3.1 Conexi?n entre ?lgebras finitas de 2, 3 y 4 elementos
2.4 Formas normales
2.4.1 Formas normales en el ?lgebra de Kleene K3
2.5 Isomorfismos entre ?lgebras y conjuntos cl?sicos, difusos y difusos de intervalo
2.5.1 Isomorfismo entre el ?lgebra de cuatro elementos y las operaciones con conjuntos difusos de intervalo (tipo 2)
2.5.2 Isomorfismo entre el ?lgebra de tres elementos y las operaciones con conjuntos difusos (tipo 1)
2.5.3 Isomorfismo entre el ?lgebra de dos elementos y las operaciones con conjuntos cl?sicos (Crisp)
3 S?ntesis de sistemas difusos basados en estructuras algebraicas?
3.1 Particiones difusas, representaci?n tabular y estructura algebraica
3.1.1 Partici?n difusa en R
3.1.2 Particiones difusas en Rp
3.1.3 ??Partici?n difusa en R
3.2 S?ntesis y concreci?n de sistemas ambiguos o difusos
3.2.1 S?ntesis mediante mapas ternarios
3.3 Concreci?n de sistemas ambiguos o difusos
3.3.1 Funci?n simple de eventos ambiguos o difusos
3.3.2 Caracter?stica de trasferencia global o concreci?n del sistema difuso
3.4 Aplicaciones
II Condiciones de regularidad: realizaci?n de tablas extendidas y principio de concreci?n de sistemas ambiguos o difusos
4 Realizaci?n de tablas ternarias regulares a partir de tablas binarias basadas en razonamiento l?gico y conjuntos difusos
4.1 Introducci?n
4.1.1 F?rmulas bien formadas y condiciones de regularidad
4.2 Metodolog?a propuesta para pasar de tablas booleanas a kleeneanas
4.2.1 Extensi?n de tablas para ?-particiones difusas?
4.2.2 Generalizaci?n de las condiciones de regularidad del ?lgebra K3 (Mukaidono) al ?lgebra M4
4.2.3 Metodolog?a propuesta para pasar de tablas B2 a M4 para dos variables
III Ejemplos de aplicaci?n de ?lgebra abstracta en ingenier?a mediante el concresor basado en relaciones o f?rmulas algebraicas CBR (Concretion Based on algeBRaic Relations/foRmulae)?
5 Preliminares?
6 Aplicaci?n de ?lgebra abstracta en ingenier?a 1: ?Control de temperatura?
6.1 Introducci?n
6.1.1 Sistema a controlar
6.1.2 Dise?o booleano
6.1.3 Implementaci?n CBR
6.1.4 Respuesta din?mica del sistema
6.1.5 Conclusiones
7 Aplicaci?n de ?lgebra abstracta en ingenier?a 2: ?Control de un motor DC? 93
7.1 Introducci?n
7.2 Modelo del motor DC de flujo constante
7.3 Dise?o booleano
7.4 Implementaci?n CBR
7.4.1 An?lisis de restricciones
7.5 Resultados
7.6 Conclusiones
8 Aplicaci?n de ?lgebra abstracta en ingenier?a 3: ?Modelo de hist?resis o backlash usando ?algebra de Kleene?
8.1 Introducci?n
8.2 Base de reglas
8.3 Transiciones en una tabla kleeneana
8.3.1 Modelo de hist?resis de un electroim?n como ejemplo de aplicaci?n de CBR de orden cero
8.3.2 Dise?o
8.3.3 Resultados y an?lisis
8.3.4 Conclusiones
8.3.5 Modelo de backlash ejemplo de aplicaci?n de CBR de orden uno
8.3.6 Conclusiones
9 Aplicaci?n de ?lgebra abstracta en ingenier?a 4: ?Comparaci?n entre controladores difusos tipo-2 de intervalos convencionales y algebraicos kleeneanos o tri-valuados??
9.1 Introducci?n
9.2 Sistema a evaluar y propuesta general de dise?o del controlador
9.2.1 Conjuntos difusos de entrada y salida
9.2.2 Base de reglas
9.2.3 Agregaci?n, reducci?n de tipo y densificaci?n
9.3 Dise?o del controlador difuso por m?todo algebraico
9.4 Resultados y simulaciones
9.4.1 Controlador con conjuntos difusos tipo-1
9.4.2 Controlador con conjuntos difusos tipo-2 convencional
9.4.3 Controlador tipo-2 implementado con ?lgebra
9.4.4 Controladores tipo-2 con entradas de incertidumbre
9.5 Conclusiones
10 Aplicaci?n de ?lgebra abstracta en ingenier?a 5: ?Fis-CBR usando combinador convexo??
10.1 Introducci?n
10.2 Combinaci?n convexa difusa
10.3 Agregando el combinador convexo
10.4 Aplicaci?n
10.4.1 Modelo del sistema
10.5 Resultados
10.5.1 Conteo de extensiones algebraicas
10.6 Conclusiones y comentarios finales
11 Ap?ndice?
11.1 Relaci?n de equivalencia y clase de equivalencia
11.2 Particiones y clase de equivalencia
11.3 Conjuntos parcialmente ordenados
11.4 Ret?culos
11.4.1 Ret?culos distributivos
11.4.2 Ret?culos acotados
11.4.3 Ret?culos complementados

Filtros

Álgebra abstracta aplicada en ingeniería

Desarrollo de un sistema de navegacion integrada para la evaluacion de medidas inerciales

Algebra abstracta aplicada en ingenieria